例句與造句

1. In applications to logic, this then looks like a very general description of negation ( that is, proofs run in the opposite direction ).
2. It's difficult to find proof run in a sentence. 用proof run造句挺難的